RCAT: From PEPA to Product form

Whereas product forms such as Jackson’s theorem operate over queueing networks, RCAT operates over the stochastic process algebra components defined in PEPA [3]. In the same way that Jackson’s theorem relates the global steadystate probability to the steady-state distributions of the constituent queueing nodes, so RCAT relates the steady state distribution of the global state space of the PEPA model to that of the individual PEPA components.